Tracing monadic computations and representing effects
نویسندگان
چکیده
منابع مشابه
Tracing monadic computations and representing effects
In functional programming, monads are supposed to encapsulate computations, effectfully producing the final result, but keeping to themselves the means of acquiring it. For various reasons, we sometimes want to reveal the internals of a computation. To make that possible, in this paper we introduce monad transformers that add the ability to automatically accumulate observations about the course...
متن کاملEvaluation strategies for monadic computations
computations and comonads. In this paper, we extended monads with one component of a comonadic structure. Although less widespread than monads, comonads are also useful for capturing abstract computations in functional programming. They have been used for dataflow programming [23], array programming [17], environment passing, and more [8]. In general, comonads can be used to describe context-de...
متن کاملEncoding Monadic Computations in C# Using Iterators
Many programming problems can be easily solved if we express them as computations with some non-standard aspect. This is a very important problem, because today we’re struggling for example to efficiently program multi-core processors and to write asynchronous code. Unfortunately main-stream languages such as Java or C# don’t support any direct way for encoding unrestricted nonstandard computat...
متن کاملTransforming neural computations and representing time.
Motifs of neural circuitry seem surprisingly conserved over different areas of neocortex or of paleocortex, while performing quite different sensory processing tasks. This apparent paradox may be resolved by the fact that seemingly different problems in sensory information processing are related by transformations (changes of variables) that convert one problem into another. The same basic algo...
متن کاملRepresenting Powerdomain Elements as Monadic Second Order Predicates
This report characterizes the powerdomain constructions which have been used in the semantics of programming languages in terms of formulas of first order logic under a preordering of provable implication. This provides an intuitive representation which suggests a new form of powerdomain called the mixed powerdomain which expresses data in a different way from the well-known constructions from ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.76.8